For Martin, the right to free higher education may be claimed only by those ready and willing pursue autonomy supporting higher education. The unready and unwilling, among whom may be counted carers, disabled, and devout, are excluded. This is unjust. I argue that this injustice follows from a tension between three elements of Martin’s argument: (1) a universal right to autonomy supporting higher education; (2) qualifications on entitlements to access this right in order to preserve the value of higher educational (...) goods; (3) luck egalitarian motivations in Martin’s distributive ethics. I consider options for avoiding such injustices and their implications for Martin’s argument. (shrink)

There is broad agreement that child labor is wrong and should be eliminated. This chapter examines the three main moral objections to child labor and considers their limitations: harm-based objections, objections from failing to benefit children, and objections from exploitation. Harm-based objections struggle with baselines for comparison and difficulties with Non-Identity problems. Even if child labor is not harmful, it may be wrong because it prevents children from enjoying other benefits, such as schooling. However, is schooling necessarily more beneficial for (...) children than work? Some kinds of child labor may not be harmful, and may benefit children, but they may still be wrong because they are exploitative. I consider some ways to address exploitative child labor, inspired by campaigns led by child workers. The chapter ends with a surprising conclusion that challenges the broad consensus with which we began: we may have duties to promote child labor. (shrink)

Smell 'sensations' are among the most mysterious of conscious experiences, and have been cited in defense of the thesis that the character of perceptual experience is independent of the physical events that seem to give rise to it. Here we review the scientific literature on olfaction, and we argue that olfaction has a distinctive profile in relation to the other modalities, on four counts: in the physical nature of the stimulus, in the sensorimotor interactions that characterize its use, in the (...) structure of its intramodal distinctions and in the functional role that it plays in people's behaviour. We present two thought experiments in which we detail what would be involved in transforming sounds into smells, and also smells into colours. Through these thought-experiments, we argue that the experiential character of smell derives precisely from the structural features of olfaction, and that an embodied account of olfactory phenomenology is called for. (shrink)

‘Feminist logic’ may sound like an impossible, incoherent, or irrelevant project, but it is none of these. We begin by delineating three categories into which projects in feminist logic might fall: philosophical logic, philosophy of logic, and pedagogy. We then defuse two distinct objections to the very idea of feminist logic: the irrelevance argument and the independence argument. Having done so, we turn to a particular kind of project in feminist philosophy of logic: Valerie Plumwood's feminist argument for a relevance (...) logic. Plumwood's work serves as our primary case study as we turn to the project of considering three different ways we might understand her argument and revisionist arguments like it: as a priori theorizing, as ameliorative conceptual engineering, or as instances of anti-exceptionalist approaches to logic. After arguing that the anti-exceptionalist approach seems to provide the most promising means of understanding the kind of project undertaken in a feminist challenge to classical logic, we briefly address the consequences that this might have for logic instruction. Here, we argue for the perhaps unexpected conclusion that feminist programs ought to offer more, not less, instruction in logic for those who take interest. (shrink)

"No, your honor. I didn't know who or what he was when I first came across the book -- they don't exactly love him in the synagogue, if you've read the story of his life. I found it in a junkyard in a nearby town, paid a kopek, and left cursing myself for wasting money hard to come by. Later I read through a few pages and kept on going as though there were a whirlwind at my back. As I (...) say, I didn't understand every word but when you're dealing with such ideas you feel as though you were taking a witch's ride. After that I wasn't the same man. That's in a manner of speaking, of course, because I've changed little since my youth.". The speaker is Yakov Bok, the unlikely hero of Bernard Malamud's The Fixer. At this point, early in the novel, Yakov speaks truthfully when he says that he has changed little since his youth. But over the next two and a half years (the time-period covered in the novel), he will undergo profound change and impressive moral growth. He suffers; he learns; he grows. Spinoza's name and ideas appear again and again at crucial moments in the course of the hero's moral development. Yakov Bok's verbal account of Spinoza's ideas is often comically primitive, but his understanding far outstrips his ability to articulate. By the end of the novel, his sufferings have led him to a deep grasp of certain of Spinoza's ethical and political doctrines. (shrink)

All contributions included in the present issue were originally presented at an ‘Author Meets Critics’ session organised by Richard Zach at the Pacific Meeting of the American Philosophical Association in San Diego in the Spring of 2014.

It is usually accepted that whether or not indirect discrimination is a form of immoral discrimination, it appears to be structurally different from direct discrimination. First, it seems that either one involves the agent focusing on different things while making a decision. Second, it seems that the victim’s group membership is relevant to the outcomes of either sort of action in different ways. In virtue of these two facts, it is usually concluded that indirect discrimination is structurally different from direct (...) discrimination. I argue against the notion that indirect discrimination and direct discrimination have significantly different structures. I first argue that both kinds of discrimination involve similar decision-making processes. Second, I analyze how being in a social group affects personal identity, and from there argue that indirect discrimination and direct discrimination are about group membership similarly. In virtue of these two arguments, I conclude that direct and indirect discrimination are structurally similar. (shrink)

This book is the first to put forward a general theory of the manner in which different media--music, words, moving picture, and dance--work together to create multimedia. Beginning with a study of the way in which meaning is mediated in television commercials, the book concludes with in-depth readings of Disney's Fantasia, Madonna's video Material Girl, and Armide (Godard's sequence from the collaborative film Aria). Analysing Musical Multimedia not only shows how approaches deriving from music theory can contribute to the understanding (...) of multimedia, but also seeks to draw conclusions from the practice and further development of musical analysis. (shrink)

Language, Truth, and History is an excellent volume of essays coming from one of the most important philosophers in the last fifty years. It would be of interest to anyone interested in the ways Davidson's philosophy evolved after the publication of the first two volumes, and it is essential reading for anyone working in philosophy of language or philosophy of mind.

According to Colerus, Spinoza replied affirmatively when his landlady asked if she "...could be saved in her faith." This paper asks what Spinoza could have meant -- and what his landlady would have thought he meant. She was asking about salvation of a certain kind -- a kind that Spinoza did not in fact believe to be possible. When he talks about salvation in his writings, he has in mind a different kind of salvation -- one that his landlady will (...) certainly not achieve "in her faith." So, when he assured her that she could be saved in her faith was he simply lying to her? This question is explored against the background of the controversies regarding Spinoza's sincerity in the Tractatus Theologico-politicus. (shrink)

Doris Olin's Paradox is a very helpful book for those who want to be introduced to the philosophical treatment of paradoxes, or for those who already have knowledge of the general area and would like to have a helpful resource book.

In this paper we compare the propositional logic of Frege’s Grundgesetze der Arithmetik to modern propositional systems, and show that Frege does not have a separable propositional logic, definable in terms of primitives of Grundgesetze, that corresponds to modern formulations of the logic of “not”, “and”, “or”, and “if…then…”. Along the way we prove a number of novel results about the system of propositional logic found in Grundgesetze, and the broader system obtained by including identity. In particular, we show that (...) the propositional connectives that are definable in terms of Frege’s horizontal, negation, and conditional are exactly the connectives that fuse with the horizontal, and we show that the logical operators that are definable in terms of the horizontal, negation, the conditional, and identity are exactly the operators that are invariant with respect to permutations on the domain that leave the truth-values fixed. We conclude with some general observations regarding how Frege understood his logic, and how this understanding differs from modern views. (shrink)

This paper explores the theoretical compatibility of substance dualism with a physicalist framework, challenging the notion that physicalism inherently precludes dualism. Acknowledging foundational physicalist principles like reductionism, weakly-emergent consciousness, conservation laws, and the limited impact of quantum indeterminacy, we challenge the conclusion that the universe is thus causally closed. Instead, we propose a speculative model where an extra-physical entity (akin to a “soul”) might intentionally influence quantum outcomes, and examine it as a possible mechanism for libertarian free will. We consider (...) the “amplification problem” faced by the approach: the challenge of scaling subtle quantum influences, typically inconsequential, to a level that significantly impacts processes associated with human free will. Bob Doyle's Cogito model provides a solution, wherein quantum-level events can be linked to conscious human choices. Our paper does not seek to demonstrate that such a dualist model is probable, only that it is possible to construct a plausible dualist model within established scientific parameters. (shrink)

ABSTRACT The individual-community relationship has always been one of the most fundamental topics of social sciences. In sociology, this is known as the micro-macro relationship while in economics it refers to the processes, through which, individual actions lead to macroeconomic phenomena. Based on philosophical discourse and systems theory, many sociologists even use the term "emergence" in their understanding of micro-macro relationship, which refers to collective phenomena that are created by the cooperation of individuals, but cannot be reduced to individual actions. (...) "Emergence" theories attempt to explain the nature of society as a complex system by examining how individuals and their relationships lead to the creation of integrated and macro-social phenomena such as markets, educational systems, cultural beliefs, and shared social practices. As a prelude to activity, every researcher has to answer the question from the methodological point of view, how is it possible to study the behavior of social groups and how can we gain knowledge about the laws related to social groups? Anyone who deals with humanities and social sciences or any reality and phenomenon that affects human beings, inevitably deals with the reality that is emerging. In fact, emergence occurs when one level of reality emerges radically from another level. Examples of emergent levels of reality include how the mind emerges from the body; or the way society emerges from human beings. Therefore, when there is an emerging factor, different scientific disciplines should be used, because it is inevitable to talk about social affairs, psychology and neurobiology, as well as physical and even chemical. -/- INTRODUCTION Since its beginning in the 19th century, sociology has faced the fundamental question of what a social phenomena stands for? At a glance, sociologists deal with the study of social groups, collective behavior, institutions, social structures, social networks, and social dynamics, and ultimately all such phenomena are composed of individuals. Therefore, social phenomena seem to have no independent ontological status, and in this case, sociology is ultimately about reducible individuals. Different approaches about the micro-macro relationship, using the concept of "emergence", argue that although collective phenomena are created by individuals, they cannot be reduced to individual action. The term "emergence" is used to distinguish "emergent results" from " Procedural results". Results are called Procedural that can only be calculated by adding or subtracting the causes that act together. On the contrary, they are emergent outcomes that are qualitatively novel compared to the causes from which they originate. An example of such emergent results is mental characteristics that emerge from neural processes, but are not considered among the characteristics of neural processes of components - which are their origin. Philosophical debates about emergentism and reductionism focus on the mind-brain relationship, but as many philosophers have noted, they can be generalized to apply to any hierarchical set of features. The cognitive revolution reactivated a 19th century controversy between theorists of Identity and dualism. The theorists of Identity believe in reductionist materialism and elimination of metaphysics, according to which the mind is nothing more than the biological, while the dualists believe that the mind and the brain are distinct from each other. Emergence has been considered as a third way between the theories of Identity and dualism. -/- METHODOLOGY Interdisciplinarity Is fundamentally indicated by the dominance of open systems as well as social and emerging systems at different levels. Therefore, as long as we are facing a new emergentism, there will necessarily be different fields and an interdisciplinary method. The commonality of social sciences and cognitive sciences on the issue of emergence provides the possibility of interaction and exchange of concepts between these two for deeper research. Therefore, in this research, apart from the concepts of Subvenience and downward causation, we have used multiple realization and wildly disjunctive, which are used to explain the emerging concept in cognitive sciences, including neurobiology, psychology, and philosophy. For analytical and interdisciplinary approaches, after examining the concepts of subvenience, and wildly disjunctive, Individualistic and collectivist emergentism have been reviewed. And then their adequacy is criticized and evaluated in meeting strong emergence conditions. -/- FINDINGS Philosophers of the mind have been able to define the conditions of irreducibility and downward causation, which are essential for strong emergence, by using the principle of subvenience with the help of multiple realization and wildly disjunctive principles. Therefore, by definition, emergentist individualism suffers from the problem of how to explain downward causality and irreducibility, and emergentist collectivism faces the challenge of reification. The analysis of the challenges facing the two methodological approaches of individualism and collectivism leads us to three unresolved issues about the emerging phenomenon, which are realism, downward causality, and mechanism. Despite the differences in the stances of these two approaches regarding the aforementioned triple problems, individualists and collectivists both agree that some social characteristics are reducible; and some others are irreducible due to their complexity, the determination of which, depends on the case study of the mechanism of emergence of each social characteristic. -/- CONCLUSION An emergence that is consistent with reductionism is called a weak emergence. And strong emergence includes the principle of irreducibility and downward causality. According to strong emergence, the characteristics of social phenomena have downward causal power, which cannot be reduced to the causal forces. The principle of subvenience, together with multiple realization and wildly disjunctive, can provide the conditions of irreducibility and downward causality, which are essential conditions of strong emergence. Based on the philosophical analysis of two methodological approaches, individualist and collectivist, it can be concluded that emergentist individualism suffers from the problem of how to explain downward causality and irreducibility, and reification collectivism faces the challenge of reification. The analysis of the problems faced by these two approaches leads us to three unresolved issues, which are realism, downward causality, and mechanism. individualist emergentists acknowledge the existence of emergent social characteristics, but despite this, they believe that these characteristics are not real but merely analytical constructs that require explanation based on individuals and their mutual actions. But collectivists argue that emergentism yields a categorical ontology and supports social realism. They accept the dependence of social characteristics on individuals, but claim that social entities and structures are ontologically independent. Individualists and collectivists both agree that some social characteristics are reducible; and others are irreducible due to their complexity; and the only way to recognize this is to engage in empirical studies of the mechanisms and temporal processes of "emergence" that create social characteristics. -/- NOVELTY The newness of this compact article is as follows: a) Presenting an interdisciplinary approach using the analysis of philosophy of cognitive sciences, including the philosophy of mind, neurobiology and psychology to formulate the issue of social emergence; b) Criticizing individualist and collectivist methodological approaches to the issue of social emergence and explaining the sufficiency and shortcomings of both in providing weak and strong emerging conditions; c) Explaining and categorizing the challenges facing methodological approaches in explaining the phenomenon of social emergence, in three categories: realism, downward causality, and mechanism. BIBLIOGRAPHY Beckermann, A., Flohr, H., & Kim, J. (eds.) (1992). Emergence or reduction? Essays on the prospects of nonreductive physicalism. Berlin: Walter de Gruyter. Bhaskar, R. (1979). The possibility of Naturalism. New York: Routledge. Bhaskar, R., Danermark, B. & Price, L. (2018). Interdisciplinarity and wellbeing: A critical realist general theory of interdisciplinarity. London and New York: Routledge. Blau, P.M. (1981). Introduction: diverse views of social structure and their common denominator. In Blau, P.M. & Merton, R.K. (eds.), Continuity in Structural Inquiry (pp. 1–23). Beverly Hills: Sage. Blau, P.M. (1987). Microprocess and macrostructure. In K.S. Cook (ed.), Social Exchange Theory (pp. 83–100). Newbury Park, CA: Sage. Brooks, R.A., & Maes, P. (eds). (1994). Artificial life IV; proceedings of the Fourth International Workshop on the Synthesis and Simulation of Living Systems. Cambridge, Mass: MIT Press. Clark, A. (1997). Being there: Putting brain, body, and world together again. Cambridge, Mass.: MIT Press. Coleman, J. S. (1987). Microfoundations and macrosocial behavior. In: J. C. Alexander, B. Giesen, R. Munch, & Neil J. Smelser (Eds.). The Micro-Macro Link (pp. 153–73). Berkeley: University of California. Coleman, J. S. (1990). Foundations of social theory. Cambridge, MA: Harvard University Press. Elster, J. (1985). Making sense of Marx. New York: Cambridge University Press. Fodor, J.A. (1974). Special sciences (Or: The disunity of science as a working hypothesis). Synthese, 28(2), 97–115. Fodor, J.A. (1989). Making mind matter more. Philosophical Topics, 17, 59-79. Giddens, A. (1984). The constitution of society: Outline of the theory of structuration. Berkeley: University of California Press. Hempel, C.G. (1965). Aspects of scientific explanation and other essays in the philosophy of science. New York: The Free Press. Horgan, T. (1993). From supervenience to superdupervenience: meeting the demands of a material world. Mind, 102, 555-586. Humphreys, P. (1997). How properties emerge”. Philosophy of Science, 64, 1-17. Kim, J. (1999). Making sense of emergence. Philosophical Studies, 95, 3–36. Kincaid, H. (1997). Individualism and the unity of science. New York: Rowman & Littlefield. Lewis, D.K. (1986). The plurality of worlds. Oxford: Oxford University Press. Nigel, G., & Conte, R. (eds.) (1995). Artificial societies; The computer simulation of social life. London: UCL Press. O’Connor, T. (1994). Emergent properties. American Philosophical Quarterly, 31, 91-104. Popper, K.R. (1968). Conjectures and refutations: The Growth of Scientific Knowledge. New York: Harper & Row. Sawyer, R. K. (2001). Emergence in sociology: contemporary philosophy of mind and some implications for sociological theory. American Journal of Sociology, 107, 551-585. Sawyer, R. K. (2004). The mechanisms of emergence. Philosophy of the Social Sciences, 34, 260–282. Sawyer, R. K. (2005). Social emergence: societies as complex systems. Cambridge: Cambridge University Press. Sawyer, R.K. (2003). Nonreductive individualism: Part 2, Social causation. Philosophy of the Social Sciences, 33, 203–224. Winch, P. (1993). The idea of a social science and its relation to philosophy‭ (SAMT, Trans.). Tehran, Iran: SAMT. (shrink)

Much of our know-how is acquired through practice: we learn how to cook by cooking, how to write by writing, and how to dance by dancing. As Aristotle argues, however, this kind of learning is puzzling, since engaging in it seems to require possession of the very knowledge one seeks to obtain. After showing how a version of the puzzle arises from a set of attractive principles, I argue that the best solution is to hold that knowledge-how comes in (...) degrees, and through practice a person gradually learns how to do something. However, the two standard accounts of know-how in the literature, intellectualism and anti-intellectualism, cannot properly account for the distinctive way in which know-how is gradually acquired by practice, a process in which conceptual representations and practical abilities are intimately interwoven. Drawing on Gareth Evans's work, I outline an account that may do so, and use this account to distinguish between two forms of learning to explain why skill generally cannot be learnt through testimony, and requires practice. (shrink)

The main thesis of this work is as follows: there are versions of Yablo’s paradox that, if Cook is right about the non-circular character of his version of it, are truly paradoxical and genuinely non-circular, and Cook’s version of Yablo’s paradox is one of them. Here I will not evaluate the"circular" or"non-circular" side to Cook’s proposal. In fact, I think that he is right about it, and that his version of Yablo’s list is non-circular. But is it (...) paradoxical? In order to be so, the principles that lead to (i) the derivation of a contradiction, or (ii) the impossibility to give a stable assignment of truth values to the relevant set of sentences, must be acceptable. I will explore two ways to argue that they are not. I will conclude that these attempts lead to a very narrow conception of a theory of truth, or to deny that a paradigmatic case of paradox, such as the"Old-Fashioned Liar," is truly paradoxical. La tesis principal de este trabajo es la siguiente: hay versiones de la paradoja de Yablo tales que, si Cook está en lo cierto acerca del carácter no-circular de su propia versión de ella, son genuinamente paradójicas y auténticamente no-circulares, y la versión de Cook en cuestión es una de ellas. Aquí no voy a evaluar su carácter circular o no-circular. Creo, de hecho, que Cook está en lo correcto sobre el punto. Pero, ¿es su versión auténticamente paradójica? Para que lo fuera, los principios que llevan a (i) derivar una contradicción, o (ii) la imposibilidad de dar una asignación de valores de verdad estables al conjunto relevante de oraciones, deben ser aceptables. Voy a explorar dos modos de argumentar que no lo son. voy a concluir que estos intentos llevan a una concepción de la teoría de la verdad muy estrecha, o a negar que un caso paradigmático de paradoja, como el"mentiroso Tradicional", sea auténticamente paradójica. (shrink)

Addressing the debate inspired by John Rawls's restrictive idea of the political role of religion, Jürgen Habermas proposes the institutional translation proviso as an alternative that corrects an overly secularist notion of the state. Maeve Cooke has suggested that religious arguments can be allowed without translation in the institutional level as long as they are non-authoritarian. However, her definition of non-authoritarianism requires an acceptance of the fallibility of the truths acquired by faith, which I argue is unnecessary. Instead, I propose (...) that non-authoritarianism is realized in the recognition of the reconcilability of religious and secular reasons. I demonstrate the viability of this form of non-authoritarianism using particular examples from the Philippine context. I conclude that these attempts constitute an alternative form of epistemic openness to the more stringent forms that Habermas and Cooke have proposed. (shrink)

Background: A bean is the seed of one of several genera of the flowering plant family Fabaceae, which are used as vegetables for human or animal food. They can be cooked in many different ways, including boiling, frying, and baking, and are used in many traditional dishes throughout the world. Beans are one of the longest-cultivated plants. Broad beans, also called fava beans, in their wild state the size of a small fingernail, were gathered in Afghanistan and the Himalayan foothills. (...) In a form improved from naturally occurring types, Beans were an important source of protein throughout old and new world history, and still are today. Objectives: The main goal of this expert system is to get the appropriate diagnosis of disease and the correct treatment. Methods: In this paper, the design of the proposed Expert System was produced to help farmers and those interested in agriculture in diagnosing many of the Bean diseases such as Fusarium wilt, Charcoal rot or ashy stem blight, Bacterial leaf spot and blight, Mung bean yellow mosaic virus, Cercospora leaf spot. The proposed expert system presents an overview of Bean diseases are given, the cause of diseases outlined and the treatment of disease whenever possible is given out. CLIPS Expert System language was used for designing and implementing the proposed expert system. Results: The proposed Bean diseases diagnosis expert system was evaluated by Agricultural experts and some friends interested in agriculture and they were satisfied with its performance. Conclusions: The proposed expert system is very useful for Farmers and those interested in agriculture. (shrink)

Abstract: Potatoes are edible tubers, available worldwide and all year long. They are relatively cheap to grow, rich in nutrients, and they can make a delicious treat. The humble potato has fallen in popularity in recent years, due to the interest in low-carb foods. However, the fiber, vitamins, minerals, and phytochemicals it provides can help ward off disease and benefit human health. They are an important staple food in many countries around the world. There are an estimated 200 varieties of (...) potatoes, which can be classified into a number of categories based on the cooked texture and ingredient functionality. Using a public dataset of 2400 images of potatoes, we trained a deep convolutional neural network to identify 4 types (Red, Red Washed, Sweet, and White).The trained model achieved an accuracy of 99.5% of test set, demonstrating the feasibility of this approach. (shrink)

In recent decades, the use of electrochemistry has increased exponentially. Electrochemistry has demonstrated their effectiveness in the cleaning of manufactured effluents and the decomposition of complex hydrological compounds for water treatment. Looking at the efficiency of the technology in the decomposition of organic matter, one wonders if it is not capable of doing more than just the de-pollution and treatment of water. Of course, there are other uses of electrochemistry, but in the literature, it is understood that it is used (...) more for water treatment and de-pollution. This work is a review of the literature to identify the major works in electrochemical decomposition of organic matter to see to what extent this technology can be used for methane production (cooking gas) using pasty organic matter. The list of works appearing in this review is not exhaustive, but it is sufficient to give a clear idea of the technology, its progress and, above all, the challenges it faces. This review opens the way to other applications of electrochemical decomposition to meet today's energy challenges. (shrink)

Josiah Parsons Cooke established chemistry education at Harvard University, initiated an atomic weight research program, and broadly impacted American chemical education through his students, the introduction of laboratory instruction, textbooks, and influence on Harvard's admissions requirements. The devoutly Unitarian Cooke also articulated and defended a biogeochemical natural theology, which he defended by arguing for commonalities between the epistemologies of science and religion. Cooke's pre-Mendeleev classification scheme for the elements and atomic weight research were motivated by his interest in numerical order (...) in nature, which reflected his belief in a divine lawgiver. (shrink)

In the Gorgias, Plato contrasts pastry cooking unfavorably with medicine, in order to illustrate the difference he believes exists between a mere knack and a genuine art. I attempt to show that Plato’s treatment of cooking distorts or misconceives that activity, and does so in order to shore up his arguments about the distinction between arts and knacks, and about the separation and hierarchy between minds and bodies. Plato’s treatment of cookery seems to be informed not by the activity of (...) cookery itself, but by medicine, the activity against which it is set. In contrast, I shall suggest that attending to foodmaking directly can challenge Plato’s art/knack and soul/body dichotomies in several important ways. My method combines close examination of the passage with more speculative reflections on the significance and consequences of Plato’s ideas about cooking. (shrink)

Putnam’s most famous contribution to mathematical logic was his role in investigating Hilbert’s Tenth Problem; Putnam is the ‘P’ in the MRDP Theorem. This volume, though, focusses mostly on Putnam’s work on the philosophy of logic and mathematics. It is a somewhat bumpy ride. Of the twelve papers, two scarcely mention Putnam. Three others focus primarily on Putnam’s ‘Mathematics without foundations’ (1967), but with no interplay between them. The remaining seven papers apparently tackle unrelated themes. Some of this disjointedness would (...) doubtless have been addressed, if Putnam had been able to compose his replies to these papers; sadly, he died before this was possible. In this review, I do my best to tease out some connections between the paper; and there are some really interesting connections to be made. (shrink)

This article is a sequel to ‘The Liar Syndrome’. It answers in detail the various criticisms of the latter expressed by Roy T. Cook in his article, ‘Curing the Liar Syndrome’, appearing in SATS/Nordic Journal of Philosophy, 3 (2): 126-141 (2002).

El contenido de la presente discusión de Análisis Filosófico surge a partir de diversas actividades organizadas por mí en SADAF y en la UBA. En primer lugar, Roy Cook dictó en SADAF el seminario de investigación intensivo On Yablo's Paradox durante la última semana de julio de 2011. En el seminario, el profesor Cook presentó el manuscrito aún sin finalizar de su libro The Yablo Paradox: An Essay on Circularity, Oxford, Oxford UP, (en prensa). Extensas y apasionantes discusiones (...) ocurrieron durante esos encuentros sobre circularidad y construcciones infinitarias. Fue en ese tiempo, donde me surgió la idea de editar una discusión sobre las ideas que Cook defiende en ese trabajo. El proyecto era una extensión natural del trabajo que veníamos realizando con mi grupo de investigación en temas vinculados al concepto de verdad, autorreferencia y paradojas. Luego, durante el segundo cuatrimestre de 2011, dicté el seminario La paradoja de Yablo, en el instituto de filosofía de la UBA. Algunos de los borradores de los artículos que aparecen en el presente volumen tienen su origen en este curso. Finalmente, invité por segunda vez al profesor Cook al Symposium on Yablo's Paradox realizado en SADAF en julio de 2012. En esta oportunidad, se presentaron las versiones finales de los artículos de Lavinia Picollo, Paula Teijeiro, Federico Pailos, Diego Tajer, Lucas Rosenblatt e Ignacio Ojea que se incluyen a continuación. El encuentro incluyó las inteligentes réplicas del profesor Cook y profundas discusiones sobre los mencionados temas lógicosemánticos. Quiero agradecer a todos los integrantes del Gaf[log] que participaron activamente en las mencionadas actividades, ya sea en la publicación posterior o en los coloquios y seminarios que le dieron origen. Agradezco al Comité editorial de Análisis Filosófico, en especial a Alberto Moretti, quienes apoyaron desde sus comienzos este proyecto. Finalmente, y de manera especial, quiero expresar mi gratitud al profesor Roy Cook, quien no sólo apoyó e inspiró el proyecto desde sus comienzos, sino que además compartió generosamente sus ideas y las discutió con estimulante pasión. (shrink)

The problem of plant individuality is something which has vexed botanists throughout the ages, with fashion swinging back and forth from treating plants as communities of individuals (Darwin 1800 ; Braun and Stone 1853 ; Münch 1938 ) to treating them as organisms in their own right, and although the latter view has dominated mainstream thought most recently (Harper 1977 ; Cook 1985 ; Ariew and Lewontin 2004 ), a lively debate conducted mostly in Scandinavian journals proves that the (...) issues are far from being resolved (Tuomi and Vuorisalo 1989b ; Fagerström 1992 ; Pan and Price 2001 ). In this paper I settle the matter once and for all, by showing which elements of each side are correct. (shrink)

The Many Gods Objection (MGO) is widely viewed as a decisive criticism of Pascal’s Wager. By introducing a plurality of hypotheses with infinite expected utility into the decision matrix, the wagerer is left without adequate grounds to decide between them. However, some have attempted to rebut this objection by employing various criteria drawn from the theological tradition. Unfortunately, such defenses do little good for an argument that is supposed to be an apologetic aimed at atheists and agnostics. The purpose of (...) this paper is to offer a defensive strategy of a different sort, one more suited to the Wager’s apologetic aim and status as a decision under ignorance. Instead of turning to criteria independent of the Wager, it will be shown that there are characteristics already built into its decision theoretic structure that can be used to block many categories of theological hypotheses including MGO’s more outrageous “cooked-up” hypotheses and “philosophers’ fictions”. -/- Please note that there are editorial errors in the published version. They have been corrected in the attached. (shrink)

Odd and memorable examples are a distinctive feature of Charles Travis's work: cases involving squash balls, soot-covered kettles, walls that emit poison gas, faces turning puce, ties made of freshly cooked linguine, and people grunting when punched in the solar plexus all figure in his arguments. One of Travis's examples, involving a pair of situations in which the leaves of a Japanese maple tree are painted green, has even spawned its own literature consisting of attempts to explain the context sensitivity (...) of color adjectives ("green", e.g.). For Travis, these examples play a central role in his arguments for occasion-sensitivity, which he takes to be a pervasive feature of how we understand natural language. But how, exactly, do these examples work? My aims in this paper are to put Travis’s examples under the microscope, using recent experimental studies of Travis-style cases to raise worries about aspects of the way Travis's cases are informally presented, but then show how his examples can be redesigned to respond to these doubts. (shrink)

Assertions about appearances license inferences about the speaker's perceptual experience. For instance, if I assert, 'Tom looks like he's cooking', you will infer both that I am visually acquainted with Tom (what I call the "individual acquaintance inference"), and that I am visually acquainted with evidence that Tom is cooking (what I call the "evidential acquaintance inference"). By contrast, if I assert, 'It looks like Tom is cooking', only the latter inference is licensed. I develop an account of the acquaintance (...) inferences of appearance assertions building on two main previous lines of research: first, the copy raising literature, which has aimed to account for individual acquaintance inferences through the "perceptual source" semantic role; second, the subjectivity literature, which has focused on the status of acquaintance inferences with predicates of personal taste, but hasn't given much attention to the added complexities introduced by appearance language. I begin by developing what I take to be the most empirically-sound version of a perceptual source analysis. I then show how its insights can be maintained, while however taking anything about perception out of the truth conditions of appearance sentences. This, together with the assumption that appearance assertions express experiential attitudes, allows us to capture the acquaintance inferences of bare appearance assertions without making incorrect predictions about the behavior of appearance verbs in embedded environments. (shrink)

Simple claims with the verb ‘seem’, as well as the specific sensory verbs, ‘look’, ‘sound’, etc., require the speaker to have some relevant kind of perceptual acquaintance (Pearson, 2013; Ninan, 2014). But different forms of these reports differ in their perceptual requirements. For example, the copy raising (CR) report, ‘Tom seems like he’s cooking’ requires the speaker to have seen Tom, while its expletive subject (ES) variant, ‘It seems like Tom is cooking’, does not (Rogers, 1972; Asudeh and Toivonen, 2012). (...) This contrast has led some theorists to hold that the matrix subject in CR constructions is uniformly interpreted as the perceptual source (p-source) (Asudeh and Toivonen, 2012; Rett and Hyams, 2014). Others, based on examples of CR reports that seem not to require perception of the referent of the matrix subject, have taken the p-source interpretation instead to be non-uniform across CR reports (Landau, 2011; Doran, 2015). We reconsider these theoretical approaches to copy raising in light of new experimental work probing the sensitivity of these requirements to the matrix verb, the embedded ‘like’-clause, and the context. While we find some motivation for a non-uniform p-source analysis, it comes from importantly different cases than those others have relied on. Furthermore, our findings cast doubt on the prevalent assumption that the perceptual requirements of CR reports are to be captured solely by the presence or absence of the p-source interpretation. We suggest that the data motivating a non-uniform p-source view are better captured by an alternative approach, which makes use of a more minimal evidential source role, in place of the perceptual source role. We close by considering the relationship between English copy raising and evidential constructions cross-linguistically. (shrink)

Some assertions give rise to the acquaintance inference: the inference that the speaker is acquainted with some individual. Discussion of the acquaintance inference has previously focused on assertions about aesthetic matters and personal tastes (e.g. 'The cake is tasty'), but it also arises with reports about how things seem (e.g. 'Tom seems like he's cooking'). 'Seem'-reports give rise to puzzling acquaintance behavior, with no analogue in the previously-discussed domains. In particular, these reports call for a distinction between the specific acquaintance (...) inference (that the speaker is acquainted with a specific individual) and the general acquaintance inference (that the speaker is acquainted with something or other of relevance). We frame a novel empirical generalization -- the specific with stage-level generalization -- that systematizes the observed behavior, in terms of the semantics of the embedded 'like'-clause. We present supporting experimental work, and explain why the generalization makes sense given the evidential role of 'seem'-reports. Finally, we discuss the relevance of this result for extant proposals about the semantics of 'seem'-reports. More modestly, it fills a gap in previous theories by identifying which reports get which of two possible interpretations; more radically, it suggests a revision of the kind of explanation that should be given for the acquaintance behavior in question. (shrink)

In this paper, I start by describing and examining the main results about the option of formalizing the Yablo Paradox in arithmetic. As it is known, although it is natural to assume that there is a right representation of that paradox in first order arithmetic, there are some technical results that give rise to doubts about this possibility. Then, I present some arguments that have challenged that Yablo’s construction is non-circular. Just like that, Priest (1997) has argued that such formalization (...) shows that Yablo’s Paradox involves implicit circularity. In the same direction, Beall (2001) has introduced epistemic factors in this discussion. Even more, Priest has also argued that the introduction of infinitary reasoning would be of little help. Finally, one could reject definitions of circularity in term of fixed-point adopting non-well-founded set theory. Then, one could hold that the Yablo paradox and the Liar paradox share the same non-well-founded structure. So, if the latter is circular, the first is too. In all such cases, I survey Cook’s approach (2006, forthcoming) on those arguments for the charge of circularity. In the end, I present my position and summarize the discussion involved in this volume. En este artículo, describo y examino los principales resultados vinculados a la formalización de la paradoja de Yablo en la aritmética. Aunque es natural suponer que hay una representación correcta de la paradoja en la aritmética de primer orden, hay algunos resultados técnicos que hacen surgir dudas acerca de esta posibilidad. Más aún, presento algunos argumentos que han cuestionado que la construcción de Yablo no sea circular. Así, Priest (1997) ha argumentado que la formalización de la paradoja de Yablo en la aritmética de primer orden muestra que la misma involucra implícitamente circularidad. En la misma dirección, Beall (2001) ha introducido factores epistémicos en esta discusión. Más aún, Priest ha también argumentado que la introducción de razonamiento infinitario como complemento de la formalización en la aritmética sería de poca ayuda. Finalmente, se podría rechazar todo intento de dar definiciones de circularidad en términos de puntos fijos adoptando teoría de conjuntos infundados. Entonces, se podría sostener que la paradoja de Yablo y la del mentiroso comparten la misma estructura infundada. Por eso, si la última es circular, también lo es la primera. En todos los casos, presento el enfoque de Roy Cook (2006, en prensa) sobre estos argumentos que atribuyen circularidad a la construcción de Yablo. En el final, presento mi posición y un breve resumen de la discusión involucrada en este volumen. (shrink)

Dōgen has been described as a social reformer based on his more “enlightened” attitude towards women, inviting women students into his sangha and advocating for more egalitarian views of gender (Eido Frances Carney, Receiving the Marrow: Teachings on Dōgen by Soto Zen Women Priests (2012), p. xi). In this chapter, I describe how contemporary Western Zen women and their allies have understood Dōgen’s texts as a tool of personal and social transformation through examination of work by Zen practitioners such as (...) Greenwood’s Bow First (2018), Carney’s Receiving the Marrow (2012), Schireson’s Zen Women (2009), and Glassman and Fields’ Instructions to the Cook (1996). In particular, I posit that Zen women have expressed the practical nature of Dōgen’s philosophy for contemporary non-monastics, showing how to de-center oneself through full participation in the activity of the world. This is in contrast to self-centered preoccupation with individual enlightenment or spiritual attainment. Paradoxically, it is the fact that women have often been confined to social roles that prevent their separation from the minutiae of everyday life that allows them to embody Dōgen’s dictum to “forget the self and be actualized by myriad things.”. (shrink)

Robert (Robby) P. Tangtingco’s article was called Bergaño’s dictionary “a work of art” in Lost and Found in Translation in the 18th century. The first thing that they observed is the various dialects or languages used by their countrymen. They were assigned to different regions of the Philippines, and one of them was Fray Diego Bergaño. He was designated to Pampanga where he successfully produced a Kapampangan dictionary called “Arte dela Lengua Pampanga”. From the stated dictionary, the reseacher look for (...) words that were related to food due to the reason that Pampanga is known for its mouthwatering food and delicacies. The dictionary was used as a reference for the translation to the English language. Moreover, various dictionaries were used to look for their translated Filipino language. Due to the rapid changes and modernization, loyalty and love to our own country, specifically language, is slowly fading and dying. With this, the researcher continued the study following the due process. First, she looked for each word related to food in Bergaño’s dictionary. Second, she categorized each food according to rice,grains, seafood, edible animal or insect, fruits and vegetable, herbs, cooking utensils, the process of cooking and preparing food, Pampanga’s delicacies and food, and other terminologies that are related to food. Next, six respondents from Pampanga were invited to join a Zoom meeting. They were asked if which among the words listened to were related to food. Furthermore, the researcher sought if the words used are still being applied or not nowadays. (shrink)

A theory of aesthetic value should explain what makes aesthetic value good. Current views about what makes aesthetic value good privilege the individual’s encounter with aesthetic value—listening to music, reading a novel, writing a poem, or viewing a painting. What makes aesthetic value good is its benefit to the individual appreciator. But engagement with aesthetic value is often a social, participatory matter: sharing and discussing aesthetic goods, imitating aesthetic agents, dancing, cooking, dining, or making music together. This article argues that (...) we should understand aesthetic value in a way that centers these social forms of aesthetic engagement. To this end, the article argues that there is a social practice of aesthetic valuing, characterized as a participatory practice governed by the value of aesthetic community, which engages us in the social development of our capacities for discretionary valuing and volitional openness. Current theories of aesthetic value have trouble capturing the character of the practice of aesthetic valuing, and this motivates a novel communitarian theory of aesthetic value: aesthetic value is what is worthy of engagement in the social practice of aesthetic valuing. (shrink)

The theory and culture of the arts has largely focused on the arts of objects, and neglected the arts of action – the “process arts”. In the process arts, artists create artifacts to engender activity in their audience, for the sake of the audience’s aesthetic appreciation of their own activity. This includes appreciating their own deliberations, choices, reactions, and movements. The process arts include games, urban planning, improvised social dance, cooking, and social food rituals. In the traditional object arts, the (...) central aesthetic properties occur in the artistic artifact itself. It is the painting that is beautiful; the novel that is dramatic. In the process arts, the aesthetic properties occur in the activity of the appreciator. It is the game player’s own decisions that are elegant, the rock climber’s own movement that is graceful, and the tango dancers’ rapport that is beautiful. The artifact’s role is to call forth and shape that activity, guiding it along aesthetic lines. I offer a theory of the process arts. Crucially, we must distinguish between the designed artifact and the prescribed focus of aesthetic appreciation. In the object arts, these are one and the same. The designed artifact is the painting, which is also the prescribed focus of appreciation. In the process arts, they are different. The designed artifact is the game, but the appreciator is prescribed to appreciate their own activity in playing the game. Next, I address the complex question of who the artist really is in a piece of process art — the designer or the active appreciator? Finally, I diagnose the lowly status of the process arts. (shrink)

First recorded in the 14th century, the analogy of spit-roast meat argues that expecting the Sun to rotate around a strictly immobile Earth would be just as ludicrous as trying to move the fire around the roasting meat. On the contrary, it should be the Earth that spins upon itself in order to glean, from all possible angles, all the benefits of the Sun, just as it is the meat’s responsibility to turn on the spit before the motionless fire for (...) it to be perfectly cooked on all sides. Aimed at demonstrating, in geocentricism, the plausibility of the rotation of the Earth and, in heliocentrism, at supporting the physical reality of this terrestrial rotation, nowadays this analogy barely elicits more than an amused, or even condescending, smile. However, its continued long-term existence and its frequency of use — from the 14th to the 19th century, we found it mentioned by no less than 45 different authors — incited us to finally pay attention to it. We then noticed that beyond its explicitly cosmological scope, it raises, in its own way, the question of the purpose of the natural world: had the latter been conceived based upon humankind, then it is normal, despite what this analogy advocates, that the Sun is at the service of something more important than itself by rotating, to the profit of humankind, around the Earth; conversely, since such an infringement of the rule of common sense, as illustrated by this analogy, can neither be justified nor tolerated, it is up to the Earth to move around the Sun. Tracing the vicissitudes of this analogy, over 6 centuries, is thus not only about reconstructing the largely forgotten history of a presently obsolete analogy, but also about discovering the deeper meaning, henceforth incomprehensible, behind it. In describing how this meaning became progressively lost, one can finally pro­vide an understanding of why, in the present day, we are no longer capable of more than an amused smile when happening upon it! (shrink)

Apple CEO Tim Cook claimed in 2019 that his company’s greatest achievement will be “about health.” But the pandemic has shown that Big Tech’s involvement in health care is all about data collection.

A review of Matt Cook's book Sleight of Mind: 75 Ingenious Paradoxes in Mathematics, Physics, and Philosophy.

If Tahiti suggested to theorists comfortably at home in Europe thoughts of noble savages without clothes, those who paid for and went on voyages there were in pursuit of a quite opposite human ideal. Cook's voyage to observe the transit of Venus in 1769 symbolises the eighteenth century's commitment to numbers and accuracy, and its willingness to spend a lot of public money on acquiring them. The state supported the organisation of quantitative researches, employing surveyors and collecting statistics to..

The mainstream tradition in recent Anglophone Zhuangzi interpretation treats spontaneous skillful responsiveness – similar to the spontaneous responsiveness of a skilled artisan, athlete, or musician – as a, or the, Zhuangzian ideal. However, this interpretation is poorly grounded in the Inner Chapters. On the contrary, in the Inner Chapters, this sort of skillfulness is at least as commonly criticized as celebrated. Even the famous passage about the ox-carving cook might be interpreted more as a celebration of the knife’s passivity (...) than as a celebration of the cook’s skillfulness. (shrink)

In this paper, I argue that the performance stories in the Zhuangzi, and the Butcher Ding story, emphasize an activity meditation practice that places the performer in a mindfulness flow zone, leading to graceful, efficacious, selfless, spontaneous, and free action. These stories are metaphors showing the reader how to attain a meditative state of focused awareness while acting freely in a flow experience. From my perspective, these metaphors are not about developing practical or technical skills per se. My argument challenges (...) a strict instrumental reading. Although instrumental reasoning can easily lead one to focus on the pragmatic outcomes depicted in these stories (See Eno, “Cook Ding’s Dao;” Callahan, “Cook Ding’s Life;” and Robins, “Beyond Skill”), the proposed pragmatic outcomes are merely a kind of collateral result of effortless, free actions, in the flow experience. The metaphors of Butcher Ding, the Lüliang rapids swimmer, the Wheelwright Bian, the Woodcarver Qing, the cicada catcher, the naked artist and so on are used to show the reader a way to engage in free and graceful action in the flow experience. Zhuangzi is not concerned about developing labour skills. He criticizes such skills; seen below when the Butcher claims to have “… left skill behind …” (進乎技矣) (Graham, Chuang-tzu, 63), and chapter five notes that “… skill is a peddler” (工為商) (Watson, Complete, 75). (shrink)

În acest articol încerc să argumentez opinia că, așa cum este definită eugenia, este foarte dificil de făcut o diferențiere clară între știință (medicină, ingineria genetică) și eugenie. Și de stabilit o linie peste care ingineria genetică nu ar trebui să treacă, conform unor norme morale, juridice și religioase. Atâta timp cât acceptăm ajutorul geneticii în găsirea unor modalități de combatere a cancerului, diabetului sau HIV, acceptăm în mod implicit și eugenia pozitivă, conform definiției actuale. Și atâta timp cât acceptăm (...) screening-ul genetic, și intervenții asupra fătului nenăscut, sau avortul, acceptăm în mod implicit și eugenia negativă. În plus, la nivel de guverne, deși oficial eugenia este repudiată, ea a fost legalizată în foarte multe țări până de curând, și încă mai este acceptată și legalizată, chiar dacă în forme mai subtile, și în prezent. În Introducere definesc termenul și modurile de clasificare. Urmează Istoria eugeniei pornind din perioada antică, introducerea eugeniei de Francis Galton, practica eugeniei ca politică de stat în diverse țări, și eugenia actuală (eugenia liberală). Analizez apoi diverse probleme ridicate de Etica eugeniei liberale, și am dezvoltat o secțiune aparte pentru Viitorul eugeniei, cu accent pe proiectul genomului uman. În final, în secțiunea Concluzii expun opiniile personale cu privire la practica actuală a eugeniei. Am folosit ca surse principale de investigație articolele lui Kenneth M. Ludmerer, ”American Geneticists and the Eugenics Movement: 1905-1935”, Kathy J. Cooke, ”Duty or Dream? Edwin G. Conklin's Critique of Eugenics and Support for American Individualism”, Jonathan Anomaly, ”Defending Eugenics”, John R. Harding Jr. ”Beyond Abortion: Human Genetics and the New Eugenics”, Michael Boulter, ”Bloomsbury Scientists”, Chapter Title: The rise of eugenics, 1901–14, Michael Ruse and Edward O. Wilson, ”Moral Philosophy as Applied Science” și Goering, Sara, "Eugenics". (shrink)

This paper examines the second geometrical problem in the Meno. Its purpose is to explore the implication of Cook Wilson’s interpretation, which has been most widely accepted by scholars, in relation to the nature of hypothesis. I argue that (a) the geometrical hypothesis in question is a tentative answer to a more basic problem, which could not be solved by available methods at that time, and that (b) despite the temporary nature of a hypothesis, there is a rational process (...) for formulating it. The paper also contains discussion of the method of analysis, problem reduction and a diorism, which have often been ambiguously explained in relation to the geometrical problem in question. (shrink)

Essays and documents surveying the post-communist architectural scene in the Czech Republic. - 1/ “Wild & Wilder” (1997) – A brief travelogue with comments on Kew Gardens, London, and Mies van der Rohe’s Villa Tugendhat (1930), Brno. 2/ “Angel City” (1999) – A short report on Jean Nouvel’s Golden Angel office tower in Smíchov, Prague. 3/ “Read & Weep: Scandal in Bohemia” (1999) – Essay on post-communist machinations within the architectural scene in the Czech Republic, including reports on: Jean Nouvel’s (...) Angel City and its critics; charges of “lite (postmodern) neo-functionalism” here and there; a cooked “open” competition for a proposed Kupka museum in an old mill on the island of Kampa (in the Vltava); a tourist-dodging transit through Josip Plečnik’s gardens at Prague Castle; and stories and legends regarding the Star Pavilion and oak wood at White Mountain. 4/ “The Body of the City” (2001) – Critique of Richard Meier and Partners’ proposed ECM Radio Plaza, a series of towers meant to complete an unfinished, communist-era “Rockefeller Center” in the Pankrác district of Prague. 5/ “Gnomic Works: The Sculptural Works of Kurt Gebauer” (2002) – Essay on the sculpture of Czech artist Kurt Gebauer with images from his exhibition in Zlín in 2001. 6/ “House of the Wind: May Day” (2004) – Prose poem written on May Day 2004 regarding wandering around Olšanské hřbitovy, a mostly 19th-century cemetery in the Žižkov district of Prague. 7/ “Architectural Eyewash” (2004) – An essay surveying: various complaints within the Czech architectural community regarding an outbreak of “architectural eyewash” in the 2004 Chamber of Architects’ Grand Prix competition; rumors and innuendo regarding a proposed Kupka museum on Kampa; complaints about Daniel Libeskind’s proposed Dalí House, Prague; etc. 8/ “Moravian Shadows” (2004) – Essay on “cultural shadows” in the context of Czech architecture, with a nod to Nietzsches’ The Birth of Tragedy. 9/ The Near & The Far: Moravian Garden (2006) – Notes and discurses on a very small, yet “immense” South Moravian country garden in Skryje, Czech Republic. (shrink)

Recent decades have witnessed the rise of chefs to a position of cultural prominence. This rise has coincided with increased consciousness of ethical issues pertaining to food, particularly as they concern animals. We rank cookbooks by celebrity chefs according to the minimum number of sentient animals that must be killed to make their recipes. On our stipulative definition, celebrity chefs are those with their own television show on a national network in the United States, the United Kingdom, Canada or Australia. (...) Thirty cookbooks by 26 such chefs were categorized according to the total number of cows, pigs, chicken, fish and other species they included as ingredients. The total number of animals killed was divided by the number of non-dessert recipes to generate an average number of animal deaths per recipe for each book. We outline the rationale for our project and its methodology before presenting a ranked table of 30 cookbooks by celebrity chefs. This method generates several interesting findings. The first concerns the wide variation in animal fatalities among cookbooks. The chef with the heaviest animal footprint killed 5.25 animals per recipe, while the omnivorous chef with the smallest footprints killed 0.19 per recipe. Clearly, not all approaches to meat eating are equal when it comes to their animal mortality rate. Pigs and large ruminants are all substantially bigger than poultry, which are themselves bigger than many fish. The prime determinant of a chef’s place in the index was the number of small animals his or her recipes required. Whether a chef cooked in the style of a particular cuisine (Italian, French, Mexican etc.), by contrast, had no discernible influence on his or her ranking. We analyze how different chefs present themselves—as either especially sensitive or insensitive to ethical issues involving animals and food—and note cases where these presentations do or do not match their index ranking. -/- . (shrink)

This paper presents proof that Buss's S22 can prove the consistency of a fragment of Cook and Urquhart's PV from which induction has been removed but substitution has been retained. This result improves Beckmann's result, which proves the consistency of such a system without substitution in bounded arithmetic S12. Our proof relies on the notion of "computation" of the terms of PV. In our work, we first prove that, in the system under consideration, if an equation is proved and (...) either its left- or right-hand side is computed, then there is a corresponding computation for its right- or left-hand side, respectively. By carefully computing the bound of the size of the computation, the proof of this theorem inside a bounded arithmetic is obtained, from which the consistency of the system is readily proven. This result apparently implies the separation of bounded arithmetic because Buss and Ignjatović stated that it is not possible to prove the consistency of a fragment of PV without induction but with substitution in Buss's S12. However, their proof actually shows that it is not possible to prove the consistency of the system, which is obtained by the addition of propositional logic and other axioms to a system such as ours. On the other hand, the system that we have considered is strictly equational, which is a property on which our proof relies. (shrink)